The Hume Collection of Asiatic Birds

نقد و بررسی کتاب the collection of the quran

جان برتن استاد بازنشسته دانشگاه سنت‏اندروز، مولف کتاب جمع‏آوری قرآن است. این اثر در سال 1977 توسط انتشارات دانشگاه کمبریج به چاپ رسید. در نگاه اول، اثر مذکور مشتمل بر دو بخش و هر بخش دارای پنج فصل است. مولف در بخش اول به مسأله نسخ می‏پردازد و در مورد این که آیا قرآن سنت را نسخ کرده و یا بالعکس، به تفصیل سخن می‏گوید. نظرات شافعی و مخالفانش را در این‏باره به طور مشروح بیان می‏کند. وی سه شکل ن...

Hume, the New Hume, and Causal Connections

HUME STUDIES' Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the HUME STUDIES archive only for your personal, non-commercial use. Each copy of any part of a HUME STUDIES transmission must contain the same copyright notice that appears on th...

Appendix C Collection and quantification of arthropod parasites of birds

Verifying the Correctness of Hume Programs

Hume is a programming language targeted at safety-critical, resource-bounded systems. Bounded time and space usage is achieved by a clear separation of coordination and computation in the design of the language. However, there is no correctness verification. Such verification is imperative in safety-critical environments. It is our contention that the language design makes a combination of dedu...

Hume on the Distinction of Reason